Using Model Checking to Automatically Find Retrieve Relations
نویسندگان
چکیده
منابع مشابه
Using Model Checking to Find Serious File System Errors
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces defined by a system. File systems have two dynamics that make them attractive for such an approach. First, their errors are some of the most serious, since they can destroy persiste...
متن کاملAutomatically Checking Feature Model Refactorings
A feature model (FM) defines the valid combinations of features, whose combinations correspond to a program in a Software Product Line (SPL). FMs may evolve, for instance, during refactoring activities. Developers may use a catalog of refactorings as support. However, the catalog is incomplete in principle. Additionally, it is non-trivial to propose correct refactorings. To our knowledge, no pr...
متن کاملFeatures Advances to Automatically Find
Dr. R.J. Stanley Department of Electrical and Computer Engineering Missouri University of Science and Technology 127 Emerson Electric Co. Hall 301 W 16 th St Rolla, MO 65409-0040 Email: [email protected] Telephone: 573-341-6896 Fax: 573-341-4532 ABSTRACT Filtering through ever increasing sources of information to find relevant information for clinical decisions is a challenging task for clinicia...
متن کاملAutomatically Verifying Railway Interlockings using SAT-based Model Checking
In this paper, we demonstrate the successful application of various SATbased model checking techniques to verify train control systems. Starting with a propositional model for a control system, we show how execution of the system can be modelled via a finite automaton. We give algorithms to perform SAT-based model checking over such an automaton. In order to tackle state-space explosion we prop...
متن کاملSix ways to automatically find software bugs
With the rapid development of hardware and the emerging of smart devices like smart phones and wearable gadgets, software, the soul of those devices, becomes more and more important. However, program bugs, which often cause system failure and misbehaviors, is one of the most severe stumbling blocks for even further development of those technologies. Since automatically detecting all bugs in a p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.02.019